منابع مشابه
Dodgson's Rule Approximations and Absurdity
With the Dodgson rule, cloning the electorate can change the winner, which Young (1977) considers an “absurdity”. Removing this absurdity results in a new rule (Fishburn, 1977) for which we can compute the winner in polynomial time (Rothe et al., 2003), unlike the traditional Dodgson rule. We call this rule DC and introduce two new related rules (DR and D&). Dodgson did not explicitly propose t...
متن کاملKRUKENBERG TUMOR REPORT OF THREE CASES
Krukenberg tumor is an interesting and rare tumor which usually but not always is metastatic. Ovaries more than any other genital pelvic organs are the site of metastasis. Endometrium, gastrointestinal tract and breast are the most common primary sites. The best method of treatment is surgery. Postoperatively, radiotherapy and chemotherapy must be performed. 3 cases of Krukenberg tumor dia...
متن کاملFull Reduction in the Face of Absurdity
Core calculi that model the essence of computations use full reduction semantics to be built on solid grounds. Expressive type systems for these calculi may use propositions to refine the notion of types, which allows abstraction over possibly inconsistent hypotheses. To preserve type soundness, reduction must then be delayed until logical hypotheses on which the computation depends have been p...
متن کاملThree cases of pleural metastasis of renal clear cell carcinoma diagnosis: cases report
Background: Malignant pleural effusion is common in patients with advanced malignant tumor. The aim of this study is to analyze the characteristics of pleural metastasis of renal clear cell carcinoma, pleural effusion under medical thoracoscopy and the diagnostic value of interventional thoracoscopy-guided biopsy, and to improve the understanding of pleural metastasis of renal clear cell carcin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Modern Law Review
سال: 1990
ISSN: 0026-7961
DOI: 10.1111/j.1468-2230.1990.tb01792.x